🌊 CALM Theorem

Consistency As Logical Monotonicity, Coordination-Free, Eventual Consistency, Datalog

Feeds to Scour
SubscribedAll
Scoured 255305 posts in 4.94 s
Hj Hornbeck
freethoughtblogs.com·16h
🔍Type Inference
Preview
Report Post
Transaction Management: Making ACID Real
dev.to·6h·
Discuss: DEV
💳Transactional Memory
Preview
Report Post
Complete Ergodicity in One-Dimensional Reversible Cellular Automata | Journal of Statistical Physics
link.springer.com·1d
🔲Cellular Automata
Preview
Report Post
Resolving Names Once and for All
thunderseethe.dev·1d·
Discuss: r/programming
🦀Rust Macros
Preview
Report Post
the myth of multitasking and other things i learned today
lollar.bearblog.dev·6h
⏭️Skip Lists
Preview
Report Post
Optimizing Bracha's Reliable Broadcast: Shaving Rounds off a 37-Year-Old Algorithm
blog.can.ac·3d
🤝Paxos
Preview
Report Post
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.io·1d
💎Refinement Types
Preview
Report Post
🎲 Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·8h
🔒S2N-QUIC
Preview
Report Post
Horton persistence progress
terracrypt.net·12h
🦀Rust Macros
Preview
Report Post
<p>**Abstract:** This paper introduces a novel framework, Automated Protocol Refinement for Enhanced Algorithm Validation (APREAV), to significantly improve the...
freederia.com·14h
🌀Naiad
Preview
Report Post
JavaScript vs Go: A Deep Dive into Syntax and Philosophy
dev.to·5h·
Discuss: DEV
🐹golang
Preview
Report Post
Flickers – Thoughts on consciousness, sentience, perception, and the self in AI
samanthawhite274794.substack.com·8h·
Discuss: Substack
🔲Cellular Automata
Preview
Report Post
Fuzzing.in
fuzzing.in·2h
🐛Fuzzing
Preview
Report Post
TIL every time you remember something, your brain slightly rewrites that memory instead of replaying it exactly
frontiersin.org·8h·
Discuss: r/todayilearned
🎴Anki
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.kr·13h
🏗️MLIR
Preview
Report Post
The Case for Snake Case: A Kolmogorov Complexity Argument
modulovalue.com·1d·
Discuss: Hacker News
📝Parser Combinators
Preview
Report Post
git rebase (Al Viro; Linus Torvalds; Theodore Tso)
yarchive.net·1d
➡️Move Semantics
Preview
Report Post
Mechanism-Based Intelligence (MBI): Differentiable Incentives for Rational Coordination and Guaranteed Alignment in Multi-Agent Systems
arxiv.org·2d
🛡️AI Security
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.com·1d·
Discuss: Lobsters, Hacker News
🏗️Pavex
Preview
Report Post
Help me solve this problem
reddit.com·1d·
Discuss: r/C_Programming
💃Dancing Links
Preview
Report Post